Merge pull request #415 from jcastillo-arm/jc/plat_err_handler
authordanh-arm <[email protected]>
Wed, 28 Oct 2015 09:54:44 +0000 (09:54 +0000)
committerdanh-arm <[email protected]>
Wed, 28 Oct 2015 09:54:44 +0000 (09:54 +0000)
Add optional platform error handler API

1  2 
docs/porting-guide.md

Simple merge